(DEFPROP COMMENCEVALS
 (COMMENCEVALS LINELIST POINTLIST)
VALUE)

(DEFPROP LINELIST
 (LINELIST (110 100 70 60 40 20 0)
	   (62 40 24 4)
	   (64 40 30 10)
	   (113 101 71 66 40 34 14)
	   (72 44 20 1)
	   (100 44 24 5)
	   (101 44 30 11)
	   (73 44 34 15)
	   (74 50 20 2)
	   (101 50 24 6)
	   (100 50 30 12)
	   (75 50 34 16)
	   (112 101 76 61 54 20 3)
	   (63 54 24 7)
	   (65 54 30 13)
	   (111 100 77 67 54 34 17)
	   (102 41 21 0)
	   (70 41 25 4)
	   (71 41 31 10)
	   (103 41 35 14)
	   (60 45 21 1)
	   (110 102 72 62 45 25 5)
	   (113 103 73 64 45 31 11)
	   (66 45 35 15)
	   (61 51 21 2)
	   (112 103 74 63 51 25 6)
	   (111 102 75 65 51 31 12)
	   (67 51 35 16)
	   (103 55 21 3)
	   (76 55 25 7)
	   (77 55 31 13)
	   (102 55 35 17)
	   (104 42 22 0)
	   (71 42 26 4)
	   (70 42 32 10)
	   (105 42 36 14)
	   (61 46 22 1)
	   (111 104 73 63 46 26 5)
	   (112 105 72 65 46 32 11)
	   (67 46 36 15)
	   (60 52 22 2)
	   (113 105 75 62 52 26 6)
	   (110 104 74 64 52 32 12)
	   (66 52 36 16)
	   (105 56 22 3)
	   (77 56 26 7)
	   (76 56 32 13)
	   (104 56 36 17)
	   (111 106 71 61 43 23 0)
	   (63 43 27 4)
	   (65 43 33 10)
	   (112 107 70 67 43 37 14)
	   (73 47 23 1)
	   (106 47 27 5)
	   (107 47 33 11)
	   (72 47 37 15)
	   (75 53 23 2)
	   (107 53 27 6)
	   (106 53 33 12)
	   (74 53 37 16)
	   (113 107 77 60 57 23 3)
	   (62 57 27 7)
	   (64 57 33 13)
	   (110 106 76 66 57 37 17))
VALUE)

(DEFPROP POINTLIST
 (POINTLIST (0 20 40 60)
	    (4 24 44 64)
	    (10 30 50 70)
	    (14 34 54 74)
	    (1 21 41 61)
	    (5 25 45 65)
	    (11 31 51 71)
	    (15 35 55 75)
	    (2 22 42 62)
	    (6 26 46 66)
	    (12 32 52 72)
	    (16 36 56 76)
	    (3 23 43 63)
	    (7 27 47 67)
	    (13 33 53 73)
	    (17 37 57 77)
	    (0 4 10 14)
	    (20 24 30 34)
	    (40 44 50 54)
	    (60 64 70 74)
	    (1 5 11 15)
	    (21 25 31 35)
	    (41 45 51 55)
	    (61 65 71 75)
	    (2 6 12 16)
	    (22 26 32 36)
	    (42 46 52 56)
	    (62 66 72 76)
	    (3 7 13 17)
	    (23 27 33 37)
	    (43 47 53 57)
	    (63 67 73 77)
	    (0 1 2 3)
	    (20 21 22 23)
	    (40 41 42 43)
	    (60 61 62 63)
	    (4 5 6 7)
	    (24 25 26 27)
	    (44 45 46 47)
	    (64 65 66 67)
	    (10 11 12 13)
	    (30 31 32 33)
	    (50 51 52 53)
	    (70 71 72 73)
	    (14 15 16 17)
	    (34 35 36 37)
	    (54 55 56 57)
	    (74 75 76 77)
	    (0 24 50 74)
	    (60 44 30 14)
	    (1 25 51 75)
	    (61 45 31 15)
	    (2 26 52 76)
	    (62 46 32 16)
	    (3 27 53 77)
	    (63 47 33 17)
	    (0 21 42 63)
	    (60 41 22 3)
	    (4 25 46 67)
	    (64 45 26 7)
	    (10 31 52 73)
	    (70 51 32 13)
	    (14 35 56 77)
	    (74 55 36 17)
	    (0 5 12 17)
	    (14 11 6 3)
	    (20 25 32 37)
	    (34 31 26 23)
	    (40 45 52 57)
	    (54 51 46 43)
	    (60 65 72 77)
	    (74 71 66 63)
	    (0 25 52 77)
	    (60 45 32 17)
	    (14 31 46 63)
	    (74 51 26 3))
VALUE)